package org.xteam.sled.semantic.exp;

public class ExpForce extends Exp {

	private Exp expr;

	public ExpForce(Exp expr) {
		this.expr = expr;
	}
	
	public Exp getExpr() {
		return expr;
	}
	
	public int hashCode() {
		return expr.hashCode();
	}
	
	public boolean equals(Object o) {
		return (o instanceof ExpForce)
			&& ((ExpForce)o).expr.equals(expr);
	}
	
	@Override
	public void visit(IExpVisitor visitor) {
		visitor.visitForce(this);
	}
	
	public String toString() {
		return "force(" + expr + ")";
	}

}
